Уважаемые читатели!
Издания из электронного каталога вы можете предварительно заказать
в Центральной библиотеке по телефону 8(39191) 2-77-44.
Укажите новый пароль:
Повторите пароль:
Элемент поиска
Значение элемента поиска
Логика соединения элементов поиска:
Расстояние между словами при поиске по полному тексту:
Выдавать по
документов
Профессиональный библиографический поиск
Поиск по классификатору УДК
Поиск по классификатору ББК
Формирование таблиц по книгообеспеченности
Список должников и задолженной литературы
Отсортировать найденные документы по:
Поиск по библиографии: <.>I=22.12/Б90-340338<.>
Общее количество найденных документов : 1
>
1.
22.12 Б90 Булос, Джорж. Вычислимость и логика : перевод с англ. / Дж. Булос, Р. Джеффри. - Москва : Мир, 1994. - 396 с. - ISBN 5-03-003067-0 : 17000.00 р. - Текст : непосредственный. ББК 22.12 Рубрики: Основания математики--Математическая логика Доп.точки доступа: Джеффри, Ричард